\frame[containsverbatim]
{
  \frametitle{LockCountDataflowEngine (continued)}
  Boilerplate methods:
  \B
  \item Register the engine to produce LockCountDataflow objects:
{\scriptsize
\begin{verbatim}
  public void registerWith(IAnalysisCache analysisCache) {
    analysisCache.registerMethodAnalysisEngine(
      LockCountDataflow.class, this);
  }
\end{verbatim}
}

  \item The analysis results can be recomputed; don't need to
        retain indefinitely
{\scriptsize
\begin{verbatim}
  public boolean can recompute() {
    return true;
  }
\end{verbatim}
}
  \E
}
